strongly-typed language - определение. Что такое strongly-typed language
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое strongly-typed language - определение

SPECIFIC TYPE OF ASSEMBLY LANGUAGE
Typed Assembly Language; Typed assembler language

Typed assembly language         
In computer science, a typed assembly language (TAL) is an assembly language that is extended to include a method of annotating the datatype of each value that is manipulated by the code. These annotations can then be used by a program (type checker) that processes the assembly language code in order to analyse how it will behave when it is executed.
strongly typed         
PROGRAMMING LANGUAGE TYPE SYSTEMS
Strongly typed languages; Strongly typed language; Strong typing; Weakly-typed programming language; Strongly-typed (programming language); Strongly-typed programming languages; Weakly-typed programming languages; Strongly-typed (programming languages); Strongly-typed; Strongly typed; Weakly-typed (programming languages); Weakly-typed; Weakly typed; Weak typing; Strong type; Strong data typing; Loose typing; Strongly-typed programming language; Strongly typed programming language; Type strength; Weak and Strong typing; Loosely-typed; Weakly typed language; Loosely typed; Strictly typed
strong typing         
PROGRAMMING LANGUAGE TYPE SYSTEMS
Strongly typed languages; Strongly typed language; Strong typing; Weakly-typed programming language; Strongly-typed (programming language); Strongly-typed programming languages; Weakly-typed programming languages; Strongly-typed (programming languages); Strongly-typed; Strongly typed; Weakly-typed (programming languages); Weakly-typed; Weakly typed; Weak typing; Strong type; Strong data typing; Loose typing; Strongly-typed programming language; Strongly typed programming language; Type strength; Weak and Strong typing; Loosely-typed; Weakly typed language; Loosely typed; Strictly typed
<programming> Strict enforcement of type rules with no exceptions. Incorrect type usage can be detected either at run time or at compile time. Strong typing catches more type errors than weak typing, resulting in fewer hard errors. In a strongly typed language, conversion between types requires the use of explicit conversion functions as opposed to implicit type coercion. Typing strength is a continuum; ML is more strongly typed than Java, which is more strongly typed than C. Strong or weak typing is independent of the choice between static typing and dynamic typing. Among strongly typed languages, Ada, Java, Haskell and ML are statically typed, whereas Python and Ruby are dynamically typed. (2004-07-20)

Википедия

Typed assembly language

In computer science, a typed assembly language (TAL) is an assembly language that is extended to include a method of annotating the datatype of each value that is manipulated by the code. These annotations can then be used by a program (type checker) that processes the assembly language code in order to analyse how it will behave when it is executed. Specifically, such a type checker can be used to prove the type safety of code that meets the criteria of some appropriate type system.

Typed assembly languages usually include a high-level memory management system based on garbage collection.

A typed assembly language with a suitably expressive type system can be used to enable the safe execution of untrusted code without using an intermediate representation like bytecode, allowing features similar to those currently provided by virtual machine environments like Java and .NET.